undecidable language

visit shbcf.ru